Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

model extension theorem

Толкование Перевод

1 model extension theorem

Математика: теорема о расширении модели

Универсальный англо-русский словарь > model extension theorem
2 model extension theorem

теорема о расширении модели

English-Russian scientific dictionary > model extension theorem
3 theorem

теорема

that establishes the theorem — тем самым теорема доказана

the theorem is proved — теорема доказана

theorem implies — из теоремы следует, что…

this concludes the proof of theorem — это завершает доказательство теоремы

under hypothesis of theorem — по условию теоремы

- absolute geometrical theorem

- abstract theorem

- additivity theorem

- adequacy theorem

- alleged theorem

- analytical enumeration theorem
- analytical hierarchy theorem
- analyticity theorem

- approximation theorem

- arithmetical enumeration theorem
- arithmetical hierarchy theorem
- associative theorem

- asymptotic passage theorem

- asymptotic theorem

- auxiliary theorem

- average theorem

- azygetic theorem

- bachet's theorem

- ballot theorem

- binomial theorem

- boundary theorem

- cardinality theorem

- Cauchy residue theorem

- central limit theorem

- central statistical theorem

- characterization theorem

- class existence theorem

- classical theorem

- classification theorem

- closed graph theorem
- closed range theorem
- closure theorem

- cobordism theorem

- cobweb theorem

- coding theorem

- coincidence theorem

- combination theorem

- combinatorial theorem

- compactness theorem

- comparability theorem

- comparison theorem

- compensation theorem

- complementary theorem

- completeness theorem

- composition theorem

- conductor-ramification theorem

- conservation theorem

- consistency theorem

- continuation theorem

- continuity theorem

- convergence theorem

- converse limit theorem

- converse theorem

- convexity theorem

- convolution theorem

- cosine theorem

- covering theorem

- decomposition theorem

- deducible theorem

- deduction theorem

- definability theorem

- density theorem

- descriptive theorem

- determinant theorem

- dimension theorem

- direct theorem

- distortion theorem

- divergence theorem

- dominance theorem

- double recursion theorem

- dual theorem

- duality theorem

- dynamical theorem

- edge-of-the-wedge theorem

- either-or theorem

- elementary theorem

- elimination theorem

- embedding theorem

- enclosure theorem

- enumeration theorem

- equal probability theorem

- equality theorem

- equilibrium theorem

- ergodic theorem

- exactness theorem

- excision theorem

- existence theorem

- existence theorem

- existential theorem

- expansion theorem

- explicit theorem

- extension theorem

- extreme-value theorem

- factor theorem

- factorization theorem

- faltung theorem

- fan theorem

- feasibility theorem

- Fermat's last theorem

- finiteness theorem

- five color theorem

- fixed-point theorem

- formal theorem

- formally deducible theorem
- formally provable theorem
- formation theorem

- friendship theorem

- fundamental theorem of algebra

- fundamental theorem

- fuzzy theorem

- gap theorem

- general theorem

- generalized theorem

- going-up theorem

- graphical theorem

- hierarchy theorem

- holonomy theorem

- homotopy addition theorem
- implicit function theorem
- incompleteness theorem

- index theorem

- individual ergodic theorem
- initial value theorem - integral representation theorem
- integral theorem

- integrality theorem

- integration theorem

- interchange theorem

- intermediary theorem

- intermediate value theorem

- interpolation theorem

- interpretability theorem

- interpretation theorem

- invariance theorem

- inverse function theorem

- inverse theorem

- inverse transform theorem

- inversion theorem

- isomorphism theorem

- isoperimetric theorem

- joint consistency theorem

- Karhunen-Loeve theorem

- kernel theorem

- key renewal theorem

- least-upper-bound theorem

- limitative theorem

- limiting theorem

- linearity theorem

- local description theorem
- local limit theorem
- local theorem

- local uniformization theorem

- local-global theorem

- localization theorem

- logical theorem

- main theorem

- map color theorem

- martingale convergence theorem

- martingale theorem

- matching theorem

- max-flow min-cut theorem
- maximal ergodic theorem
- maximal theorem

- maximality theorem

- maximum-modulus theorem

- mean ergodic theorem
- mean value theorem
- mean-value theorem

- measurability theorem

- metamathematical theorem

- metrization theorem

- minimax theorem

- model extension theorem

- monodromy theorem

- monotonicity theorem

- multinomial theorem

- multiplication theorem

- Nagy-Faias theorem

- negation of theorem

- negation theorem

- Nikodym theorem

- nonexistence theorem

- normal addition theorem
- normal form theorem
- normalization theorem

- Nyquist-Kotelnikov-Shannon sampling theorem

- occurrence theorem

- open mapping theorem

- operator theorem

- opposite theorem

- ordering theorem

- orientability theorem

- orthogonality theorem

- orthographic theorem

- oscillation theorem

- painting theorem

- parallel axis theorem

- parametric theorem

- parametrization theorem

- periodicity theorem

- permutation theorem

- Plancherel theorem

- pointwise ergodic theorem

- preliminary theorem

- preparation theorem

- prime number theorem

- principal theorem

- probability theorem

- product theorem

- prolongation theorem

- proximity theorem

- quantifiers elimination theorem

- quantitative theorem

- quasiergodic theorem

- random ergodic theorem
- ratio limit theorem - rational root theorem
- recurrence theorem

- recursion theorem

- reduction theorem

- reflection theorem

- regularity theorem

- relativized theorem

- renewal density theorem

- replacement theorem

- representability theorem

- representation theorem

- residue theorem

- resonance theorem

- reverse-flow theorem

- root-counting theorem

- sampling theorem

- second limit theorem
- second mean value theorem
- selection theorem

- semantical theorem

- semilocal theorem

- separation theorem

- seven color theorem

- sewing theorem

- shift theorem

- signature theorem

- similarity theorem

- similarity theorem

- similitude theorem

- single-valuedness theorem

- sinusoidal limit theorem

- six-color theorem

- soundness theorem

- special theorem

- spectral theorem

- stability theorem

- stationarity theorem

- strong theorem

- structure theorem

- substitution theorem

- subtle theorem

- summation theorem

- superposition theorem

- suspension theorem

- symmetry theorem

- syntactical theorem

- synthesis theorem

- tautology theorem

- theorem of alternatives

- theorem of choice

- theorem of closed graph
- theorem of consistency proofs - theorem of corresponding states
- theorem of mean

- theorem of numerical comparison

- theorem of residues

- theorem of sines

- theorem of total probability

- theorem of units

- Theveni's theorem

- three circle theorem
- three line theorem - three series theorem
- torsion theorem

- transference theorem

- translation theorem

- transposition theorem

- tree theorem

- triad theorem

- triple limit theorem

- truth theorem

- two constants theorem

- two triangles theorem

- ultraproduct theorem

- umbrellas theorem

- undecidability theorem

- unicity theorem

- uniform boundedness theorem
- uniform convergence theorem - uniform ergodic theorem - uniform mean value theorem
- uniformization theorem

- unique factorization theorem

- uniqueness theorem

- validity theorem

- Van Cittert-Zernike theorem

- vanishing theorem

- variant theorem

- virial theorem

- weak theorem

- well ordering theorem

- Wiener-Paley theorem

- work-kinetic energy theorem

English-Russian scientific dictionary > theorem
4 extension

1) надставка; насадка

2) удлинитель

3) выступающая часть, консольная часть

4) пристройка

5) продление; продолжение

6) простирание; протяжённость; распространение

7) растяжение; распрямление

8) сварка установочная длина

9) геод. сгущение сети опорных точек

10) расширение; удлинение; добавление; увеличение

11) экстенсия, разгибание

•

extension at fracture — удлинение при изломе

extension in space — матем. протяжённость в пространстве

extension by definition — матем. расширение с помощью определений

extension by adjunction — матем. расширение путём присоединения

- affine extension

- algebra extension

- algebraically closed extension

- almost periodic extension

- analytical extension

- anodyne extension

- arithmetical extension

- atomic extension

- automorphic extension

- axiomatic extension

- basic extension

- bicompact extension

- binomial extension

- bounded extension

- canonical extension

- cantilever extension

- central extension

- circular extension

- closed extension

- cohomological extension

- common extension

- complete extension

- complex extension

- compound group extension

- confinal extension

- conformal extension

- conical extension

- conservative extension

- constant field extension

- continuous extension

- continuously differentiable extension

- contravariant extension

- convex extension

- cord extension

- covariant extension

- cyclic extension

- cyclotomic extension

- cylindrical extension

- definitional extension

- determined extension

- differential extension

- direct extension

- discrete irrational extension

- discrete rational extension

- distal extension

- distinguished extension

- dual extension

- elementary extension

- equationally complete extension

- even extension

- extension of condition

- extension of derivations

- extension of digraph

- extension of distribution

- extension of function

- extension of mapping

- extension of number

- extension of operator

- extension of scalars

- extension of spring

- extension of structure

- extension of strut

- extension of theorem

- field extension

- finitely generated extension

- fixed extension

- flat extension

- free extension

- fully ramified extension

- global extension

- greatest common extension

- group extension

- group-like extension

- harmonic extension

- holomorphic extension

- homotopy extension

- ideal extension

- impredicative extension

- indiscrete irrational extension

- indiscrete rational extension

- inductive extension

- inessential extension

- inferential extension

- infinite extension

- injective extension

- inseparable extension

- integral extension

- intrinsic extension

- irretractable extension

- isometric extension

- isomorphic extension

- jet extension

- least normal extension

- lexicographic extension

- linear extension

- linguistic extension

- linguistically invariant extension

- maximal extension

- meromorphic extension

- minimal extension

- mixed extension of game

- model extension

- mold extension

- monotone extension

- multiple extension

- natural extension

- negation extension

- nested extension

- n-fold transcendental extension

- n-fold transcendental extension

- nonisomorphic extension

- nonlinear extension

- nonramified extension

- nonseparable extension

- nontrivial extension

- norm-preserving extension

- odd extension

- operational extension

- outer extension

- perfect extension

- pointed irrational extension

- pointed rational extension

- positive extension

- prime extension

- principal extension

- proper extension

- proximity extension

- purely essential extension

- purely inseparable extension

- purely ramified extension

- purely transcendental extension

- quadratic extension

- quasianalytic extension

- quasiconformal extension

- quasiinjective extension

- radial extension

- radical extension

- range extension

- recursive extension

- regular extension

- representation extension

- self-adjoint extension

- semiregular extension

- separably algebraic extension

- separably generated extension

- sign extension

- solvable extension

- space extension

- split extension

- splitting extension

- standard extension

- stochastic extension

- strong extension

- strongly normal extension

- subharmonic extension

- symmetric extension

- tamely ramified extension

- theoretical extension

- topological group extension

- totally imaginary extension

- totally ramified extension

- transcendental extension

- transitive extension

- universal central extension

- unramified extension

- virtual extension

- weakly holomorphic extension

- wildly ramified extension

English-Russian scientific dictionary > extension

См. также в других словарях:

Extension (mathematics) — In mathematics, the word extension has many uses. See:Analysis* Carathéodory s extension theorem * Continuous linear extension * M. Riesz extension theorem * Krein extension theorem * Hahn Banach theoremAlgebra* Abelian extension * Algebraic… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Conservative extension — In mathematical logic, a logical theory T2 is a (proof theoretic) conservative extension of a theory T1 if the language of T2 extends the language of T1; every theorem of T1 is a theorem of T2; and any theorem of T2 which is in the language of T1 … Wikipedia
Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… … Wikipedia
Type (model theory) — In model theory and related areas of mathematics, a type is a set of first order formulas in a language L with free variables x1, x2,…, xn which are true of a sequence of elements of an L structure . Loosely speaking, types describe possible… … Wikipedia
Relational model — The relational model for database management is a database model based on first order predicate logic, first formulated and proposed in 1969 by Edgar Codd. [ Derivability, Redundancy, and Consistency of Relations Stored in Large Data Banks , E.F … Wikipedia
Wold's theorem — This article is about the theorem as used in time series analysis. For an abstract mathematical statement, see Wold decomposition. In statistics, Wold s decomposition or the Wold representation theorem (not to be confused with the Wold theorem… … Wikipedia
Newton's theorem of revolving orbits — Figure 1: An attractive force F(r) causes the blue planet to move on the cyan circle. The green planet moves three times faster and thus requires a stronger centripetal force, which is supplied by adding an attractive inverse cube force. The … Wikipedia
Perron–Frobenius theorem — In linear algebra, the Perron–Frobenius theorem, proved by Oskar Perron (1907) and Georg Frobenius (1912), asserts that a real square matrix with positive entries has a unique largest real eigenvalue and that the corresponding… … Wikipedia
Time hierarchy theorem — In computational complexity theory, the time hierarchy theorems are important statements about time bounded computation on Turing machines. Informally, these theorems say that given more time, a Turing machine can solve more problems. For example … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

model extension theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

model extension theorem

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: